Jacobian Hits Circuits: Hitting Sets, Lower Bounds for Depth-D Occur-k Formulas and Depth-3 Transcendence Degree-k Circuits
نویسندگان
چکیده
We present a single common tool to strictly subsume all known cases of polynomial time black box polynomial identity testing (PIT), that have been hitherto solved using diverse tools and techniques, over fields of zero or large characteristic. In particular, we show that polynomial (in the size of the circuit) time hitting-set generators for identity testing of the two seemingly different and well studied models—depth-3 circuits with bounded top fanin, and constant-depth constantread multilinear formulas—can be constructed using one common algebraic-geometry theme: Jacobian captures algebraic independence. By exploiting the Jacobian, we design the first efficient hitting-set generators for broad generalizations of the above-mentioned models, namely, (a) depth-3 (ΣΠΣ) circuits with constant transcendence degree of the polynomials computed by the product gates (no bounded top fanin restriction), and (b) constant-depth constant-occur formulas (no multilinear restriction). Constant occur of a variable, as we define it, is a more general concept than constant read. Also, earlier work on the latter model assumed that the formula is multilinear. Thus, our work goes further beyond the related results obtained by Saxena and Seshadhri [STOC, ACM, New York, 2011, pp. 431–440], Saraf and Volkovich [STOC, ACM, New York, 2011, pp. 421–430], Anderson, van Melkebeek, and Volkovich, [IEEE Conference on Computational Complexity, IEEE, Piscataway, NJ, 2011, pp. 273–282], Beecken, Mittmann, and Saxena [ICALP, Springer, New York, 2011, pp. 134–148] and Grenet et al. [Proceedings of the 30th Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Schloss Dagstuhl–Liebniz–Zentrum für Informatik, Wadern, Germany, 2011, pp. 127–139] and brings them under one unifying technique. In addition, using the same Jacobian-based approach, we prove exponential lower bounds for the immanant (which includes permanent and determinant) on the same depth-3 and depth-4 models for which we give efficient PIT algorithms. Our results reinforce the intimate connection between identity testing and lower bounds by exhibiting a concrete mathematical tool—the Jacobian. The Jacobian is equally effective in solving both the problems on certain interesting and previously well-investigated (but not well understood) models of computation.
منابع مشابه
Hitting-Sets for ROABP and Sum of Set-Multilinear Circuits
We give a nO(log n)-time (n is the input size) blackbox polynomial identity testing algorithm for unknown-order read-once oblivious arithmetic branching programs (ROABP). The best time-complexity known for blackbox PIT for this class was nO(log 2 n) due to Forbes-SaptharishiShpilka (STOC 2014). Moreover, their result holds only when the individual degree is small, while we do not need any such ...
متن کاملAlgebraic Independence and Blackbox Identity Testing
Algebraic independence is a fundamental notion in commutative algebra that generalizes independence of linear polynomials. Polynomials {f1, . . . , fm} ⊂ K[x1, . . . , xn] (over a field K) are called algebraically independent if there is no non-zero polynomial F such that F (f1, . . . , fm) = 0. The transcendence degree, trdeg{f1, . . . , fm}, is the maximal number r of algebraically independen...
متن کاملSmall hitting-sets for tiny arithmetic circuits or: How to turn bad designs into good
Research in the last decade has shown that to prove lower bounds or to derandomize polynomial identity testing (PIT) for general arithmetic circuits it suffices to solve these questions for restricted circuits. In this work, we study the smallest possibly restricted class of circuits, in particular depth-4 circuits, which would yield such results for general circuits (that is, the complexity cl...
متن کاملSeparation of AC0[⊕] Formulas and Circuits
This paper gives the first separation between the power of formulas and circuits of equal depth in the AC0[⊕] basis (unbounded fan-in AND, OR, NOT and MOD2 gates). We show, for all d(n) ≤ O( logn log logn ), that there exist polynomial-size depth-d circuits that are not equivalent to depth-d formulas of size no(d) (moreover, this is optimal in that no(d) cannot be improved to nO(d)). This resul...
متن کاملSeparation of AC[⊕] Formulas and Circuits
This paper gives the first separation between the power of formulas and circuits of equal depth in the AC[⊕] basis (unbounded fan-in AND, OR, NOT and MOD2 gates). We show, for all d(n) ≤ O( logn log logn ), that there exist polynomial-size depth-d circuits that are not equivalent to depth-d formulas of size n (moreover, this is optimal in that n cannot be improved to n). This result is obtained...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- SIAM J. Comput.
دوره 45 شماره
صفحات -
تاریخ انتشار 2016